#include <stdio.h>

void run();

int main()
{
    printf("Hello world\n");
    
    run();

   return 0;
}

